State transition system

State transition system
Results: 141

#	Item
141	PDF Document Add to Reading List Source URL: eprints.soton.ac.uk Language: English - Date: 2009-12-08 12:42:43 Computer science Petri net State transition system Structure Formal language Model theory Curry–Howard correspondence Denotational semantics Models of computation Mathematics Theoretical computer science